correctness proof meaning in English

正确性证明

Give out a correctness proof for the protocol based on the strand space model theory and kailar logic
使用ssm理论和kailar逻辑证明了该协议的安全性质。
One thing should be pointed out is that the correctness proof based on strand space is valid only on the attack set already known
需要指出的是：基于strand空间理论的正确性证明是建立在已知攻击集的基础上的。
3 halpern j , zuck l . a little knowledge goes a long way : simple knowledge based derivations and correctness proofs for a family of protocols . journal of the acm , 1992 , 39 : 449 - 478
并且他们只是用认识逻辑描述协议的规范,但没有给出相应的算法,即给出一个具体的协议，如何自动生成公理集并自动验证他满足一些认知规范
But at present , many mobile banking systems only use some cryptographic algorithms as security measures , without depicting the procedure of message exchanging as a secuity protocol , needless to say how to analyze it or provide the correctness proof of it
但目前很多手机银行系统中只是简单的使用了若干密码算法作为安全措施，没有把消息交换过程抽象描述成安全协议的形式，更谈不上对其进行形式化的分析证明。